Consistency of Action Descriptions
نویسندگان
چکیده
As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependency. The concept of regional consistency provides for a measure of ramification. A highly expressive form of action descriptions, the normal form, is introduced to facilitate this analysis. The relative satisfiability of the situation calculus is generalized to accommodate non-deterministic effects and ramifications.
منابع مشابه
Chapter # APPLYING OWL REASONING TO GENOMIC
The core part of the Web Ontology Language (OWL) is based on Description Logic (DL) theory, which has been investigated for more than 25 years. OWL reasoning systems offer various DL-based inference services such as (i) checking class descriptions for consistency and automatically organizing them into classification hierarchies, (ii) checking descriptions about individuals for consistency and r...
متن کاملAn Attributive Logic of Set Descriptions and Set Operations
This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking procedure is provided to...
متن کاملValidation study of the extended theory of reasoned action questionnaire for drug abuse prevention in adolescents
The aim of this study was to design and assess the validity and reliability of the theory of reasoned action extended version questionnaire for drug abuse avoidance in Iranian male adolescents. Validity and reliability of a measure consisting of TRA and self efficacy construct for substance abuse avoidance was assessed by scientific methods. Cross-sectional data was collected via self-admini...
متن کاملOn Determining the Consistency of Partial Descriptions of Trees
1 We examine the consis tency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in the description, despite disjunctions inherent in the theory of trees. The resulting algorithm allows for descriptions which go beyond sets of atomic formulas to allow certain types of disjunction and negation.
متن کاملCulture and self-concept stability: consistency across and within contexts among Asian Americans and European Americans.
Whereas prior cultural research has focused on consistency of self-descriptions across contexts, the current 4 studies examined cultural differences in consistency of multiple self-dimensions and did so both across and within different contexts. Supporting predictions, Study 1a found that Asian Americans were less consistent in their self-descriptions across relationship contexts than were Euro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002